package NP;
	//La classe des pbs de decision
public abstract class PblDec {
	public abstract  boolean aUneSolution();
}
